Перевод: со всех языков на русский

с русского на все языки

язык логического типа

См. также в других словарях:

  • ЯЗЫК — знаковая система, используемая для целей коммуникации и познания. Системность Я. выражается в наличии в каждом Я., помимо словаря, также с и н таксиса и семантики. Синтаксис определяет правила образования выражений Я. и их преобразования,… …   Философская энциклопедия

  • ЯЗЫК НАУКИ — система понятий, знаков, символов, создаваемая и используемая той или иной областью научного познания для получения, выражения, обработки, хранения и применения знаний. В качестве специального языка конкретных наук обычно используется некоторый… …   Философская энциклопедия

  • Ложбан язык — Ложбан Самоназвание: la lojban Создан: Группа Логического Языка на основе языка логлан Регулирующая организация: Группа Логического Языка Категория: Логический язык Классификаци …   Википедия

  • Mercury (язык программирования) — У этого термина существуют и другие значения, см. Mercury. Mercury Класс языка: логический, функциональный Появился в: 1995 Автор(ы) …   Википедия

  • ФОРМАЛИЗОВАННЫЙ ЯЗЫК — 1) В широком смысле – любая совокупность нек рым образом специализированных языковых средств с (более или менее) точно фиксиров. правилами образования выражений (с и н т а к с и с Ф. я.) и приписывания этим выражениям определ. смысла (с е м а н т …   Философская энциклопедия

  • Грузинский язык — представляет многократно скрещенную классовую речь. С XII века он непрерывно демократизуется. Это объясняется рядом экономических и социальных сдвигов внутри страны, а также вторжениями великодержавных завоевателей византийцев, турок и монголов.… …   Литературная энциклопедия

  • Delphi (язык программирования) — У этого термина существуют и другие значения, см. Delphi. Эта статья  о языке программирования. Об интегрированной среде разработки см. Delphi (среда разработки). Delphi …   Википедия

  • Машина логического вывода — Машина вывода программа, которая выполняет логический вывод из предварительно построенной базы фактов и правил в соответствии с законами формальной логики. Факт в данном случае утверждение, являющееся постоянно истинным, например: «Адам является… …   Википедия

  • Icon (язык программирования) — У этого термина существуют и другие значения, см. Icon (значения). Icon Семантика: мультипарадигменный: императивный, логический …   Википедия

  • Go! (язык программирования) — Статью, посвященную языку программирования, созданного компанией Google Inc. см. Go (язык программирования) Go! Класс языка: многопоточный Появился в: 2003 г. Автор(ы): Фрэнсис МакКейб, Кейт Кларк Лицензия GPLv2 …   Википедия

  • Пифагор (язык программирования) — У этого термина существуют и другие значения, см. Пифагор (значения). Пифагор Семантика: функциональный, потоковый Появился в: 1995 Автор(ы): Легалов Александр Иванович …   Википедия

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»